Skip to content

Remove Gambit::List #716

Merged
tturocy merged 12 commits intomasterfrom
dev_delist
Dec 17, 2025
Merged

Remove Gambit::List #716
tturocy merged 12 commits intomasterfrom
dev_delist

Conversation

@tturocy
Copy link
Copy Markdown
Member

@tturocy tturocy commented Dec 17, 2025

This removes the last of the uses of the legacy Gambit List class.

Closes #545.

@tturocy tturocy marked this pull request as ready for review December 17, 2025 14:36
# Conflicts:
#	src/core/util.h
@tturocy tturocy merged commit 5db11c4 into master Dec 17, 2025
28 checks passed
@tturocy tturocy deleted the dev_delist branch December 17, 2025 14:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

DEV: Replace remaining uses of old-style Gambit::List class

1 participant